Basic Differential Forms for Actions of Lie Groups
نویسندگان
چکیده
A section of a Riemannian G-manifold M is a closed submanifold Σ which meets each orbit orthogonally. It is shown that the algebra of G-invariant differential forms on M which are horizontal in the sense that they kill every vector which is tangent to some orbit, is isomorphic to the algebra of those differential forms on Σ which are invariant with respect to the generalized Weyl group of Σ, under some condition.
منابع مشابه
Reduction of Differential Equations by Lie Algebra of Symmetries
The paper is devoted to an application of Lie group theory to differential equations. The basic infinitesimal method for calculating symmetry group is presented, and used to determine general symmetry group of some differential equations. We include a number of important applications including integration of ordinary differential equations and finding some solutions of partial differential equa...
متن کاملBasic Differential Forms for Actions of Lie Groups, Ii
The assumption in the main result of [2] is removed Let G be a Lie group which acts isometrically on a Riemannian manifold M . A section of the Riemannian G-manifold M is a closed submanifold Σ which meets each orbit orthogonally. In this situation the trace on Σ of the G-action is a discrete group action by the generalized Weyl group W (Σ) = NG(Σ)/ZG(Σ), where NG(Σ) := {g ∈ G : g.Σ = Σ} and ZG...
متن کاملSignature submanifolds for some equivalence problems
This article concerned on the study of signature submanifolds for curves under Lie group actions SE(2), SA(2) and for surfaces under SE(3). Signature submanifold is a regular submanifold which its coordinate components are differential invariants of an associated manifold under Lie group action, and therefore signature submanifold is a key for solving equivalence problems.
متن کاملBasic Forms and Orbit Spaces: a Diffeological Approach
If a Lie group acts on a manifold freely and properly, pulling back by the quotient map gives an isomorphism between the differential forms on the quotient manifold and the basic differential forms upstairs. We show that this result remains true for actions that are not necessarily free nor proper, as long as the identity component acts properly, where on the quotient space we take differential...
متن کاملMoving Frames and Differential Invariants for Lie Pseudo-groups
We survey a recent extension of the moving frames method for infinite-dimensional Lie pseudo-groups. Applications include a new, direct approach to the construction of Maurer–Cartan forms and their structure equations for pseudogroups, and new algorithms, based on constructive commutative algebra, for uncovering the structure of the algebra of differential invariants for pseudogroup actions.
متن کامل